Contributions of Ronald V. Book to the Theory of String-Rewriting Systems

نویسنده

  • Robert McNaughton
چکیده

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

DEVELOPMENT IN STRING THEORY

The string theory is a fast moving subject, both physics wise and in the respect of mathematics. In order to keep up with the discipline it is important to move with new ideas which are being stressed. Here I wish to give extracts from new papers of ideas which I have recently found interesting. There are six papers which are involved: I ."Strings formulated directly in 4 dimensions " A. N...

متن کامل

Strange quark matter attached to string cloud in general scalar tensor theory of gravitation

Bianchi type-VI0 space time with strange quark matter attached to string cloud in Nordtvedt [1] general scalar tensor theory of gravitation with the help of a special case proposed by Schwinger [2] is obtained. The field equations have been solved by using the anisotropy feature of the universe in the Bianchi type-VI0 space time. Some important features of the model, thus obtained, have been di...

متن کامل

Bulk viscous string cosmological models in Saez – Ballester theory of gravitation

Spatially homogeneous Bianchi type-II, VIII and IX anisotropic, as well as isotropic cosmological models can be obtained in a scalar tensor theory of gravitation proposed by Saez and Ballester (1986) when the source for energy momentum tensor is a bulk viscous fluid containing one-dimensional cosmic strings. All the models obtained and presented here are expanding, non-rotating and accelerating...

متن کامل

Validation of the Historical Reports of the Book “Estitār al-Emām” A Source for Rewriting the Political-Cultural History of the Pre-African Ismailis

Abstract In this article, by comparing the historical reports of the book Estirār al-Emām with the reports of non-Ismaili sources, an attempt is made to examine and analyze the validity of this book as a historiographical source in reconstructing the history of the Ismailis before 297 AH. The results show that a critical reference to Ismaili works along with non-Ismaili sources can be an impor...

متن کامل

Reachability in Unions of Commutative Rewriting Systems Is Decidable

We consider commutative string rewriting systems (Vector Addition Systems, Petri nets), i.e., string rewriting systems in which all pairs of letters commute. We are interested in reachability: given a rewriting system R and words v and w, can v be rewritten to w by applying rules from R? A famous result states that reachability is decidable for commutative string rewriting systems. We show that...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 207  شماره 

صفحات  -

تاریخ انتشار 1998